COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00015 ENDMK
C⊗;

2nd Drawer - lst file - west wall

MCCARTHY NOTES

Patience
Performances in Dinkelspiel Auditorium; November Sat. 16, Sun. 17,
Fri. 22, Sat. 23 at 8:00pm; Matinee Sun. November 24 2:30 pm.

Tickets $6.50 general; $4.00 students;
at Tresidder Union Box Office (497-4317) or Stanford Barn.


jmc - First of all it's "it's" not "its".  Second the Random House dictionary
is what the name suggests.  There are two meanings, and English will be
a better communication medium if people adhere to the meaning of "flout"
as "ostentatiously disdain or disobey" and "flaunt" as "ostentatiously display".

Eric Marti, 805 963-5993 Reason magazine

Cafe Parisienne, 7:30, 3100 Washington Blvd. Marina del Rey, cross Lincoln

Donald McIntosh, 606 436-5486
The Ten Commandments Fund
Box 28, Bulan, Kentucky 41722


Jay Perrine, Econ Inc. 408 249-6364
is looking for an AI consulting firm.
User of "model" would answer questions about payload, etc.
and it would say what he needs in the way of boosters and
what it would cost.

L.A. airport Sheraton, 213 642-1111 room 1477

CAte
tax running out Allegheny power
Delver Allegheny power
bring Cate copy of dividend reinvestment



Garo Keremidjian, CIA project for AI panels, session on expert systems
technology, common sense reasoning, propose week of Feb 17
one day session, 30 to 45 minute lecture, related to description of
interests given in advance.  I said it would have to be Monday.

Jan 15 discussion with John Hopcroft, roboticist
His colleagues are Dean Kraft and Christoph Hoffman
A valve takes 500 algebraic equations
Their recent work is on blending surfaces, i.e. fillets.
He sees himself better at "working for someone" than administering.
He doesn't see expert systems contributing to robotics at present.
papers:
Automatic surface generation in computer aided design - with Hoffman
The challenge of robotics for computer science - with Kraft

Jan 15 with Ralph
machine independent library of supervisor calls - interface spec.
Mike Nielsen (for Brian Reid) implemented Unix library in a non-unix
operating system which permitted C, editor, etc.
Systems should work on a variety of machines (e.g. Suns and Microvax
and now PC-RT).

ebos may not be compatible with goal of making constant system
whose manuals can be bought at the Bookstore. - Les

Sun network file system - Network File Server

855-0600,408 288 4053, 

Javed Khan,288-4178 info about pc-rt
Announcement seminar
Fri, Jan 24, 9am, 2077 Gateway Pl. 4th floor, across from Red Lion Inn

desktop model 10, 1 megabyte to 3, 40 meg disk;
 2 model 20, 1 to 3, more disk to 180, model 25, 2 to 4 meg
70 to 210, model 6151 model 10, 6150 model 20 and 25
streaming tape drive, 55meg backup tape
3 types of graphic, 2 monochrome and one color, all are APA
12, 14 and 15, extended 1000 by 768, 720 byy 512 ordinary,
1.6 to 2.1 mips, models 10 and 20 march 28, model 25, 3rd quarter
only advanced monochrome is available now
unix, C compiler,


Art Lee, alee@sushi 424-8962 wants a lisp project
hx.hal@forsythe
test
This is John McCarthy who is JMC@SU-AI.ARPA.

George Menas, Steven Bryan friend of David Chudnovsky

914 945-1233,
Computers and Mathematics, July 29-Aug 2

For correction to applications paper.
011 31 71 219479, Elma Kleikamp
       20 5803911

100n Rowe 213 472-3566, 743-8326 school

at most $100K for first year, start summer.
halpern@ibm-sj

Chris Garcia, Time

Eric Mathre, 7-1055
Randy Melen, 7-1055, can help with RT



robert ashenhurst 312 962-7454, u of chicago
promised 10-15 pages on generality in AI for Turing lecture reprint volume



J. R. Pompa, ex G.E., Honeywell
Argonne

encore strategic computing
mips
ultramax
shared memory
reduced instruction
gallum arsenide, risc mips + 1.25 micron visic cmos
common sas 
front ends 
100 mips with GAs
mipsx, handles cache better, early comm
mach to be standard in unix


For David Skeen, See "The Structure of Microcomputer File Systems"
by Donald Golden and Michael Pechura, CACM 1986 March, p. 222.  It
concerns using files made by other computers, and it may have useful
references or the authors may know something useful.

rick rashid @ cmu knows about mach

Letter to Donald Regan supportying Dixie Lee Ray for Sciece Adviser.

Chris Poda, Sytek, 966-7300 x1132, x400 protocol



cv via telex, keep ticket

grace smith, peter smith los altos

Technical accomplishments
using of programming computers

p. 149 taking vote, p. 154, Backus and Bauer at the blackboard
Federal express, 200-5354-2,
Roxy France
Time-Life Books
777 Duke St.,Room 311A
Alexandria, VA 22314
703-838-7015,7738 next week

Dantzig afternoon 31st 
Gregory
new trends in mathematics and computers
haken
david
barry trager


Spektrum der Wissenschaft, telex 841 461842
call back sdwhd d, send attention Claus Firchow

Bill Webb and Alex Morrow at IBM ACIS development

Rudolph Bayer, Munich is John Nafeh's consultant.

mohawk, cdc sorcim, contract with Siemens, CHILL compiler for switching
supercalc, Command Software → word processor, C for 8086
Simon Reyfman, Schlumberger (home: 494-0695) (office: 408 998-0123 x2278)
Reid Cummer cdc Moffett blvd. 408 744-5000, June White Rolm

$2079 each way, $4522
305 583-9318 Sue Walker Toledo
George Dantzig

Matt Rothman, Business Week profile of Raj Reddy

Mark Johnson, asst book editor, Mercury News, 408 920-5825
$150 for Roszak review due by the middle of May

Linkoping trip
1. They still need hat and ring size, and they can't interpret American
hat sizes.

2. Sandewall home phone - 13 12 12 64

3. lecture Sat. May 31, degree June 2

4. I said we'd come on the 29th or 30th and stay a week.

5. I gave the title "Logic and artificial intelligence"

6. The best way to come is via Copenhagen to Norrkoping.  They'll
meet us if notified.

Pat Smith, mgr distributed systems
Frank Tung, exploratory systems
1030 Page Mill, 1:30

Ann Gretolo 789-7763, intercepted call to Peled's number

p43
lc1 <filename>

(compile-file "alt" :o-file t :c-file t :h-file t :data-file t)

psa 8 9-10:10, AA36 1pm - 8:37, UA57, 5:20-7:35 alt via chi, UA 9:50-12:00

May 7
John Cocke says that Andy Heller would like to know about C problem.
We should check into Spector Lisp.

Kyoto Common Lisp
comes from 
IBUKI
399 Main Street
Los Altos, CA 94022
949-1126


hobbs 859-2229


40 pages 8.5 x 11, 2000 copies $1500 printing and binding
12.5 cents per copy
typesetting professionally, $1600
mailing $250
5 thousand circulation leads to about doubling costs, i.e. to
20 thousand per year.

circulation, $500 for $200
notifications of impending expiration - 
creating circulation
Beckmann?
promotion is about half the cost

SAS Ticket counter
380 World Way
Bradley International Terminal
Los Angeles, CA 90045

Hussein's reply
bboard.txt[2,2]/117p/987l

Colleen Crangle
IMSS room 33, Ventura Hall
works for Suppes, interested at his behest in Qlisp

Sue Corneille, Imperial College, 1 589-5111 x5011

Dantzig title:
Impact of linear programming on computer development.

Lucy Habib, 968-7650, 940-2324

p.157 request for GNU eMAX manual

Hyatt 4219 El Camino, 493-8000, x2544

naxos
548-1361, Stallman, 

Shankar 408 559-3291

6pm Friday, President's House, CMU
Raj, Kahn, JMC, Cerf, Danny Hillis, Don Lindberg, Jerry Popek

202 337-7600 rm 310

David Francis, sitn@sushi, 723-3816, handout coordinator

Date: Thu 14 Aug 86 19:40:02-EDT
From: Paul G. Weiss <PGW@XX.LCS.MIT.EDU>
Subject: Fixed Points

The familiar non-trivial LISP fixed point is:

((lambda (X) (list X (list (quote quote) X)))
 (quote (lambda (X) (list X (list (quote quote) X)))))


What can be done for Prolog?  Ideally, I would like to find a
one-clause predicate fixed/1, with the property that fixed(Term)
is true of the Term which is the clause that defines fixed/1.